منابع مشابه
Abundance of correctly folded RNA motifs in sequence space, calculated on computational grids
Although functional RNA molecules are known to be biased in overall composition, the effects of background composition on the probability of finding a particular active site by chance has received little attention. The probability of finding a particular motif has important implications both for understanding the distribution of functional RNAs in ancient and modern organisms with varying genom...
متن کاملAbundance of correctly folded RNA motifs in sequence space, calculated on computational grids
Background: Isoprenoid precursor synthesis via the mevalonate route in humans and pathogenic trypanosomatids is an important metabolic pathway. There is however, only limited information available on the structure and reactivity of the component enzymes in trypanosomatids. Since isoprenoid biosynthesis is essential for trypanosomatid viability and may provide new targets for therapeutic interve...
متن کاملAssembling Concurrent Programs Correctly from Data-Parallel Program Bricks
In this position paper, we advocate functional array programming in conjunction with automatic verification to economically harness the power of modern multi-core processors. Array operations often apply scalar operations uniformly to large numbers of array elements. Thus, their execution can be shared between multiple processing units. Using mechanisms such as functional composition, concurren...
متن کاملCompiling Exceptions Correctly
An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright [1]. 1 Compiling exception handling theory Exceptions imports Main begin 1.1 The source language datatype expr = Val int | Add expr expr | Throw | Catch expr expr consts eval :: "expr ⇒ int option" primrec "eval (Val i) ...
متن کاملThe Atkinson-Shiffrin model is ill-defined and does not correctly describe the Murdock free recall data
The Atkinson-Shiffrin (1968) model, the de facto standard model of short term memory cited thousands of times, fits the characteristically bowed free recall curves from Murdock (1962) well. However, it is long overdue to note that it is not a theoretically convincing explanation and that it does not fit all of the experimental relationships in the Murdock data. To obtain a qualitatively correct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Deutsches Aerzteblatt Online
سال: 2012
ISSN: 1866-0452
DOI: 10.3238/arztebl.2012.0158b